-
1 classical propositional calculus
Универсальный англо-русский словарь > classical propositional calculus
-
2 propositional
пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое пропозициональное исчисление classical propositional logic ≈ классическая логика высказываний constructive propositional calculus ≈ конструктивное исчисление высказываний, конструктивное пропозициональное исчисление extended propositional calculus ≈ расширенное исчисление высказываний, расширенное пропозициональное исчисление intuitionistic propositional tautology ≈ интуиционистская пропозициональная тавтология minimal propositional calculus ≈ минимальное исчисление высказываний, минимальное пропозициональное исчисление modal propositional calculus ≈ модальное исчисление высказываний, модальное пропозициональное исчисление multivalued propositional calculus ≈ многозначное исчисление высказываний, многозначное пропозициональное исчисление open propositional function ≈ открытая пропозициональная функция partial propositional calculus ≈ частное исчисление высказываний, частное пропозициональное исчисление positive propositional calculus ≈ позитивное исчисление высказываний, позитивное пропозициональное исчисление positive propositional tautology ≈ позитивная пропозициональная тавтология primitive propositional constant ≈ исходная пропозициональная постоянная proper propositional calculus ≈ собственное исчисление высказываний, собственное пропозициональное исчисление two-valued propositional calculus ≈ двузначное [классическое] исчисление высказываний, двузначное [классическое] пропозициональное исчисление unary propositional connective ≈ унарная пропозициональная связка - propositional algebra - propositional argument - propositional axiom - propositional calculus - propositional connective - propositional form - propositional formula - propositional function - propositional functor - propositional hierarchy - propositional implication - propositional inference - propositional interpretation - propositional letter - propositional logic - propositional operator - propositional tautology - propositional variable ПропозициональноБольшой англо-русский и русско-английский словарь > propositional
-
3 propositional
-
4 классическое исчисление высказываний
Mathematics: classical propositional calculusУниверсальный русско-английский словарь > классическое исчисление высказываний
-
5 классическое пропозициональное исчисление
Mathematics: classical propositional calculusУниверсальный русско-английский словарь > классическое пропозициональное исчисление
См. также в других словарях:
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Frege's propositional calculus — In mathematical logic Frege s propositional calculus was the first axiomatization of propositional calculus. It was invented by Gottlob Frege, who also invented predicate calculus, in 1879 as part of his second order predicate calculus (although… … Wikipedia
Implicational propositional calculus — In mathematical logic, the implicational propositional calculus is a version of classical (two valued) propositional calculus which uses only one connective, called implication or conditional. In formulas, this binary operation is indicated by… … Wikipedia
Classical logic — identifies a class of formal logics that have been most intensively studied and most widely used. The class is sometimes called standard logic as well.[1][2] They are characterised by a number of properties:[3] Law of the excluded middle and… … Wikipedia
Calculus — This article is about the branch of mathematics. For other uses, see Calculus (disambiguation). Topics in Calculus Fundamental theorem Limits of functions Continuity Mean value theorem Differential calculus Derivative Change of variables … Wikipedia
Modal μ-calculus — In theoretical computer science, the modal μ calculus (also μ calculus, but this can have a more general meaning) is an extension of propositional modal logic (with many modalities) by adding a least fixpoint operator μ and a greatest fixpoint… … Wikipedia
Non-classical logic — Non classical logics (and sometimes alternative logics) is the name given to formal systems which differ in a significant way from standard logical systems such as propositional and predicate logic. There are several ways in which this is done,… … Wikipedia
Monadic predicate calculus — In logic, the monadic predicate calculus is the fragment of predicate calculus in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters. All atomic formulae have the form P(x), where P… … Wikipedia
Sequent calculus — In proof theory and mathematical logic, sequent calculus is a family of formal systems sharing a certain style of inference and certain formal properties. The first sequent calculi, systems LK and LJ, were introduced by Gerhard Gentzen in 1934 as … Wikipedia
Laws of classical logic — The laws of classical logic are a small collection of fundamental sentences of propositional logic and Boolean algebra, from which may be derived all true sentences in both of these elementary formal systems.The syntax of the laws of classical… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia